fun f(x,y) = x * y;
fun double x = f(x,2);
fun triple x = f(3,x);
